Myrmica rubra laevinodis var. bruesi